Books by author Doron A. Peled

Showing 1 – 8 out of 8 results

1. 

   Model Checking and Artificial Intelligence

   Doron A. Peled, Michael Wooldridge | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2009

   
   

   Low in stock at our supplier - Shipping in 13 - 18 days

   Language: English

   Binding: Paperback

   55.84 €

   Buy
2. 

   Verification, Model Checking, and Abstract Interpretation

   Francesco Logozzo, Doron A. Peled, Leonore D. Zuck | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2008

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.69 €

   Sale 7 %

   You save 4.28 €

   Buy
3. 

   Automated Technology for Verification and Analysis

   Doron A. Peled, Yih-Kuen Tsay | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2005

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.69 €

   Sale 7 %

   You save 4.28 €

   Buy
4. 

   Runtime Verification

   Saddek Bensalem, Doron A. Peled | Springer, Berlin, 2009

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.69 €

   Sale 7 %

   You save 4.28 €

   Buy
5. 

   Software Reliability Methods

   Doron A. Peled, Edmund M. Clarke | Springer-Verlag New York Inc., 2001

   
   

   Low in stock at our supplier - Shipping in 13 - 18 days

   Language: English

   Binding: Hardback

   55.84 €

   Buy
6. 

   Formal Techniques for Networked and Distributed Systems - FORTE 2002

   Doron A. Peled, Moshe Y. Vardi | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2002

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.69 €

   Sale 7 %

   You save 4.28 €

   Buy
7. 

   Computer Aided Verification

   Rajeev Alur, Doron A. Peled | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2004

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   102.99 €

   Sale 7 %

   You save 8.63 €

   Buy
8. 

   Software Reliability Methods

   Doron A. Peled, E.M. Clarke | Springer-Verlag New York Inc., 2011

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   50.58 €

   Sale 9 %

   You save 5.39 €

   Buy

Nobody else offers you access to a wider selection. Find out more